miniOS.c int TCB_current_index; Mini_free_task TCB; Mini_free_task *TCB_PtrCurrentTask; Mini_free_task *TCB_PtrNextTask; void scheduler(void) { TCB_current_index++; TCB_current_index %= (task_manage.max_task_id + 1); TCB_PtrNextTask = &task_manage.free_task_pool[TCB_current_index]; TCB_PtrCurrentTask = TCB_PtrNextTask; } |